Henson, Martin C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Use of Structure Coefficients to Address Multicollinearity in Sport and Exercise Science

Yeatts, Paul E., Barton, Mitch, Henson, Robin K., Martin, Scott B.

Journal:

Measurement in Physical Education and Exercise Science

Year:

2017

Language:

english

File:

PDF, 878 KB

english, 2017

2

A parallel control strategy abstracted from the baroreceptor reflex

Martin Pottmann, Michael A. Henson, Babatunde A. Ogunnaike, James S. Schwaber

Journal:

Chemical Engineering Science

Year:

1996

Language:

english

File:

PDF, 1.46 MB

english, 1996

3

Program development in the constructive set theory TK

Martin C. Henson

Journal:

Formal Aspects of Computing

Year:

1989

Language:

english

File:

PDF, 1.31 MB

english, 1989

4

Cell Population Modeling and Parameter Estimation for Continuous Cultures of Saccharomyces cerevisiae

Prashant Mhaskar, Martin A. Hjortsø, Michael A. Henson

Journal:

Biotechnology Progress

Year:

2002

Language:

english

File:

PDF, 484 KB

english, 2002

5

The effect of temperature management during cardiopulmonary bypass on neurologic and neuropsychologic outcomes in patients undergoing coronary revascularization

Christina T. Mora, Martha B. Henson, William S. Weintraub, John M. Murkin, Tomas D. Martin, Joseph M. Craver, John Parker Gott, Robert A. Guyton

Journal:

The Journal of Thoracic and Cardiovascular Surgery

Year:

1996

Language:

english

File:

PDF, 1.22 MB

english, 1996

6

Repetition and the brain: neural models of stimulus-specific effects

Kalanit Grill-Spector, Richard Henson, Alex Martin

Journal:

Trends in Cognitive Sciences

Year:

2006

Language:

english

File:

PDF, 336 KB

english, 2006

7

[Lecture Notes in Computer Science] ZB 2002:Formal Specification and Development in Z and B Volume 2272 || The Semantics of Circus

Bert, Didier, Bowen, Jonathan P., Henson, Martin C., Robinson, Ken

Year:

2002

Language:

english

File:

PDF, 221 KB

english, 2002

8

[Monographs in Theoretical Computer Science] Logics of Specification Languages || Z Logic and Its Applications

Bjørner, Dines, Henson, Martin C.

Year:

2008

Language:

english

File:

PDF, 1.25 MB

english, 2008

9

[Lecture Notes in Computer Science] ZB 2002:Formal Specification and Development in Z and B Volume 2272 || Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing

Bert, Didier, Bowen, Jonathan P., Henson, Martin C., Robinson, Ken

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

10

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The Specification Language TLA+

Bjørner, Dines, Henson, Martin C.

Year:

2008

Language:

english

File:

PDF, 574 KB

english, 2008

11

Quercetin Reduces Illness but Not Immune Perturbations after Intensive Exercise

NIEMAN, DAVID C., HENSON, DRU A., GROSS, SARAH J., JENKINS, DAVID P., DAVIS, J. MARK, MURPHY, E. ANGELA, CARMICHAEL, MARTIN D., DUMKE, CHARLES L., UTTER, ALAN C., MCANULTY, STEVEN R., MCANULTY, LISA S

Journal:

Medicine & Science in Sports & Exercise

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

12

Lower Chronic Inflammation Among Adults With Higher Self-Reported Physical Fitness

Nieman, David C., Henson, Dru A., Heinz, Serena, Shanely, R. Andrew, Knab, Amy M., Jin, Fuxia, Root, Martin M.

Journal:

Medicine & Science in Sports & Exercise

Year:

2010

Language:

english

File:

PDF, 71 KB

english, 2010

13

The Development Impacts of COVID-19 at Home and Abroad: Politics and Implications of Government Action

Henson, Spencer, Kambhampati, Uma, Mogues, Tewodaj, Olsen, Wendy, Prowse, Martin, Ramos, Raul, Rand, John, Rasiah, Rasjah, Roelen, Keetie, Tiessen, Rebecca, Yap, O. Fiona

Journal:

European Journal of Development Research

Year:

2020

File:

PDF, 530 KB

2020

14

Alzheimer's patients engage an alternative network during a memory task

Jérémie Pariente, Susanna Cole, Richard Henson, Linda Clare, Angus Kennedy, Martin Rossor, Lisa Cipoloti, Michèle Puel, Jean Francois Demonet, Francois Chollet, Richard S. J. Frackowiak

Journal:

Annals of Neurology

Year:

2005

Language:

english

File:

PDF, 770 KB

english, 2005

15

A population balance equation model of aggregation dynamics in Taxus suspension cell cultures

Martin E. Kolewe, Susan C. Roberts, Michael A. Henson

Journal:

Biotechnology and Bioengineering

Year:

2012

Language:

english

File:

PDF, 926 KB

english, 2012

16

Analysis of aggregate size as a process variable affecting paclitaxel accumulation in Taxus suspension cultures

Martin E. Kolewe, Michael A. Henson, Susan C. Roberts

Journal:

Biotechnology Progress

Year:

2011

Language:

english

File:

PDF, 665 KB

english, 2011

17

Nonlinear control of competitive mixed-culture bioreactors via specific cell adhesion

Michael J. Kurtz, Michael A. Henson, Martin A. Hjortsø

Journal:

The Canadian Journal of Chemical Engineering

Year:

2000

Language:

english

File:

PDF, 955 KB

english, 2000

18

The effect of irradiation temperature on the scattering of long wavelength neutrons by defects in neutron-irradiated graphite

D.G. Martin, R.W. Henson

Journal:

Year:

1967

Language:

english

File:

PDF, 209 KB

english, 1967

19

An Analysis of Operation-Refinement in an Abortive Paradigm

Moshe Deutsch, Martin C. Henson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 495 KB

english, 2005

20

The Specification Logic νZ

Martin C. Henson, Besnik Kajtazi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 289 KB

english, 2005

21

Model predictive control of continuous yeast bioreactors using cell population balance models

Guang-Yan Zhu, Abdelqader Zamamiri, Michael A. Henson, Martin A. Hjortsø

Journal:

Chemical Engineering Science

Year:

2000

Language:

english

File:

PDF, 550 KB

english, 2000

22

Dynamics analysis of an age distribution model of oscillating yeast cultures

Abdelqader M. Zamamiri, Yongchun Zhang, Michael A. Henson, Martin A. Hjortsø

Journal:

Chemical Engineering Science

Year:

2002

Language:

english

File:

PDF, 253 KB

english, 2002

23

Cell population models for bifurcation analysis and nonlinear control of continuous yeast bioreactors

Yongchun Zhang, Abdelqader M. Zamamiri, Michael A. Henson, Martin A. Hjortsø

Journal:

Journal of Process Control

Year:

2002

Language:

english

File:

PDF, 381 KB

english, 2002

24

Compactly supported radial basis functions for adaptive process control

Martin Pottmann, Michael A. Henson

Journal:

Journal of Process Control

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

25

A Logic for Schema-Based Program Development

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 292 KB

english, 2003

26

An analysis of refinement in an abortive paradigm

Moshe Deutsch, Martin C. Henson

Journal:

Formal Aspects of Computing

Year:

2006

Language:

english

File:

PDF, 448 KB

english, 2006

27

The specification logic νZ

Martin C. Henson, Moshe Deutsch, Besnik Kajtazi

Journal:

Formal Aspects of Computing

Year:

2006

Language:

english

File:

PDF, 317 KB

english, 2006

28

The Standard Logic of Z is Inconsistent

Martin C. Henson

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 57 KB

english, 1998

29

Revising Z: Part II – logical development

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 164 KB

english, 1999

30

Revising Z: Part I – logic and semantics

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 190 KB

english, 1999

31

Characterization of aggregate size inTaxussuspension cell culture

Martin E. Kolewe, Michael A. Henson, Susan C. Roberts

Journal:

Plant Cell Reports

Year:

2010

Language:

english

File:

PDF, 624 KB

english, 2010

32

Successive bouts of cycling stimulates genes associated with mitochondrial biogenesis

Charles L. Dumke, J. Mark Davis, E. Angela Murphy, David C. Nieman, Martin D. Carmichael, John C. Quindry, N. Travis Triplett, Alan C. Utter, Sarah J. Gross Gowin, Dru A. Henson, Steven R. McAnulty, L

Journal:

European Journal of Applied Physiology

Year:

2009

Language:

english

File:

PDF, 388 KB

english, 2009

33

Increasing Time Costs and Copayments for Prescription Drugs: An Analysis of Policy Changes in a Complex Environment

Marisa Elena Domino, Bradley C. Martin, Elizabeth Wiley-Exley, Shirley Richards, Abel Henson, Timothy S. Carey, Betsy Sleath

Journal:

Health Services Research

Year:

2011

Language:

english

File:

PDF, 165 KB

english, 2011

34

A Multifactorial Risk Prioritization Framework for Foodborne Pathogens

Juliana Martins Ruzante, Valerie J. Davidson, Julie Caswell, Aamir Fazil, John A. L. Cranfield, Spencer J. Henson, Sven M. Anders, Claudia Schmidt, Jeffrey M. Farber

Journal:

Year:

2010

Language:

english

File:

PDF, 729 KB

english, 2010

35

Comparison of results of rotational coronary atherectomy in three age groups (

Kenneth D. Henson, Jeffrey J. Popma, Martin B. Leon, Kenneth M. Kent, Lowell F. Satler, Gary S. Mintz, Michael B. Keller, Regina Deible, Augusto D. Richard

Journal:

The American Journal of Cardiology

Year:

1993

Language:

english

File:

PDF, 325 KB

english, 1993

36

Use of the end-to-end anastamotic circular stapler for creation of the duodenoenterostomy for enteric drainage of the pancreas allograft

Jonathan A Fridell, Martin L Milgrom, Sharon Henson, Mark D Pescovitz

Journal:

Journal of the American College of Surgeons

Year:

2004

Language:

english

File:

PDF, 87 KB

english, 2004

37

The Addition of Sirolimus to Cyclosporine and Steroids Inhibits the Anti-Equine Antibody Response in Renal Transplant Recipients Treated with Antithymocyte Globulin

Mark D. Pescovitz, Benita K. Book, Sharon Henson, Stephen B. Leapman, Martin L. Milgrom, Jess Kimball, Douglas Norman, Ronald S. Filo

Journal:

American Journal of Transplantation

Year:

2003

Language:

english

File:

PDF, 69 KB

english, 2003

38

[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || Refinement and Reachability in Event_B

Treharne, Helen, King, Steve, Henson, Martin, Schneider, Steve

Year:

2005

Language:

english

File:

PDF, 829 KB

english, 2005

39

Foliar chemistry of juvenile Eucalyptus grandis clones does not predict chemical defence in maturing ramets

Ian R. Wallis, Helen J. Smith, Martin L. Henery, Michael Henson, William J. Foley

Journal:

Forest Ecology and Management

Year:

2010

Language:

english

File:

PDF, 198 KB

english, 2010

40

The effect of zinc and titanium on the structure of calcium–sodium phosphate based glass

Robert M. Moss, Ensanya A. Abou Neel, David M. Pickup, Helen L. Twyman, Richard A. Martin, Michael D. Henson, Emma R. Barney, Alex C. Hannon, Jonathan C. Knowles, Robert J. Newport

Journal:

Journal of Non-Crystalline Solids

Year:

2010

Language:

english

File:

PDF, 575 KB

english, 2010

41

Seasonal recession of Mars' South polar cap in 1986

James, Philip B., Martin, Leonard J., Henson, Jean R., Birch, Peter V.

Journal:

Journal of Geophysical Research

Year:

1990

Language:

english

File:

PDF, 458 KB

english, 1990

42

Mind the gap: The impact of missing data on the calculation of phytoplankton phenology metrics

Cole, Harriet, Henson, Stephanie, Martin, Adrian, Yool, Andrew

Journal:

Journal of Geophysical Research

Year:

2012

Language:

english

File:

PDF, 1.39 MB

english, 2012

43

Control of Oscillating Microbial Cultures Described by Population Balance Models

Kurtz, Michael J., Zhu, Guang-Yan, Zamamiri, Abdelqader, Henson, Michael A., Hjortsø, Martin A.

Journal:

Industrial & Engineering Chemistry Research

Year:

1998

Language:

english

File:

PDF, 363 KB

english, 1998

44

[Monographs in Theoretical Computer Science] Logics of Specification Languages || The event-B Modelling Method: Concepts and Case Studies

Bjørner, Dines, Henson, Martin C.

Year:

2008

Language:

english

File:

PDF, 914 KB

english, 2008

45

[Monographs in Theoretical Computer Science] Logics of Specification Languages ||

Bjørner, Dines, Henson, Martin C.

Year:

2008

Language:

english

File:

PDF, 5.08 MB

english, 2008

46

Neuropsychological function following cardiopulmonary bypass (CPB): Does warm bypass adversely affect central nervous system outcome?

Mora, C.T., Henson, M.B., Weintraub, W.S., Martin, T.D., Craver, J.M., Gott, J.P., Ramsay, J.G., Guyton, R.A.

Journal:

Journal of Cardiothoracic and Vascular Anesthesia

Year:

1994

Language:

english

File:

PDF, 100 KB

english, 1994

47

Effects of 3,3′-Iminodipropionitrile (IDPN) on Behavior and LDH Activity in Rats

Melissa Beck, Valerie Cox, Amy Scarborough, Christa Fout, Jay Henson, Jim Martin and Brent Vogt

Journal:

Year:

1996

Language:

english

File:

PDF, 1.62 MB

english, 1996

48

Unravelling the Mechanism of the Asymmetric Hydrogenation of Acetophenone by [RuX 2 (diphosphine)(1,2-diamine)] Catalysts

Dub, Pavel A., Henson, Neil J., Martin, Richard L., Gordon, John C.

Journal:

Journal of the American Chemical Society

Year:

2014

Language:

english

File:

PDF, 2.00 MB

english, 2014

49

[IEEE 2012 8th International Conference on Intelligent Environments (IE) - Guanajuato, Mexico (2012.06.26-2012.06.29)] 2012 Eighth International Conference on Intelligent Environments - Towards Simple and Effective Formal Methods for Intelligent Environments

Henson, Martin, Dooley, James, Al Ghamdi, Abdullah Al Malaise, Whittington, Luke

Year:

2012

Language:

english

File:

PDF, 1.36 MB

english, 2012

50

[IEEE 2011 7th International Conference on Intelligent Environments (IE) - Nottingham, United Kingdom (2011.07.25-2011.07.28)] 2011 Seventh International Conference on Intelligent Environments - A Formal Model for Space Based Ubiquitous Computing

Dooley, James, Henson, Martin, Callaghan, Vic, Hagras, Hani, Al-Ghazzawi, Daniyal, Malibari, Areej, Al-Haddad, Mohammed, Al-Ghamdi, Abdullah Al-Malaise

Year:

2011

Language:

english

File:

PDF, 1.02 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски